消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库
消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库编辑｜Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如，就在前几天，Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中，解决了 3
来自主题: AI资讯
8512 点击 2026-05-29 15:11
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT